Designing a Secure Label-switching Routing Protocol for Wireless Sensor Networks

Although a multitude of routing protocols exist for wireless sensor networks developed for various application domains, secure sensor network routing protocols do not exhibit such variety. In addition, those few sensor network routing protocols that were developed with security in mind still lack a formal proof of their security properties. In order to remedy this situation, in this paper, we propose a novel secure routing protocol, called Secure-TinyLUNAR, for wireless sensor networks, and we formally prove its security. In our model, security is defined in terms of the correctness of the routing table entries of the honest nodes. Besides its provable security, another advantage of Secure-TinyLUNAR is that, similar to TinyLUNAR, it uses label-switching routing, which results in reduced addressing overhead during data packet forwarding.